-
1 proof methodology
например, для формальной проверки (оценки) работоспособности параллельных программсм. тж. methodologyАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > proof methodology
-
2 proof methodology
Программирование: методология доказательства (например, для формальной проверки ( оценки) работоспособности параллельных программ) -
3 proof
1) проверка, испытаниеSyn:2) подтверждение, доказательствосм. тж. proof methodologyоттиск свёрстанного издания, используемый для проверки выполненной вёрстки и цветоделения4) пробное изображение; пробный отпечаток (с плёнки)5) (- proof) - устойчивый (к воздействию), защищённый, непроницаемый; стойкийнапример, waterproof - водонепроницаемыйсм. тж. foolproofАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > proof
-
4 proof method
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > proof method
См. также в других словарях:
Proof test — A proof test is a test wherein a deliberately overpressured round is fired from a firearm in order to verify that the firearm is not defective and will not explode on firing. The firearm is inspected after the test, and if it is found to be in… … Wikipedia
Descartes: methodology — Stephen Gaukroger INTRODUCTION The seventeenth century is often referred to as the century of the Scientific Revolution, a time of fundamental scientific change in which traditional theories were either replaced by new ones or radically… … History of philosophy
Coalition-proof Nash equilibrium — The concept of coalition proof Nash equilibrium applies to certain noncooperative environments in which players can freely discuss their strategies but cannot make binding commitments [1]. It emphasizes the immunization to deviations that are… … Wikipedia
Statistical methodology analysis reporting technique — (SMART) is an approach that was developed in 1995 by Dr Gerard Macioce to improve an organization s performance monitoring platform. The proof of concept was performed in the commercial sector and later in the US federal government. The processes … Wikipedia
Prime number theorem — PNT redirects here. For other uses, see PNT (disambiguation). In number theory, the prime number theorem (PNT) describes the asymptotic distribution of the prime numbers. The prime number theorem gives a general description of how the primes are… … Wikipedia
Imre Lakatos — For other people with the same name, see Lakatos (disambiguation). Imre Lakatos Imre Lakatos, c. 1960s Full name Imre Lakatos Born November 9, 1922 Debrecen, Hungary … Wikipedia
Pseudoscience — Part of a series on Science … Wikipedia
Avicennism — (PerB|فلسفه سینایی) is a school of early Islamic philosophy which began during the middle of the Islamic Golden Age. The school was founded by Avicenna (Ibn Sina), an 11th century Persian philosopher who attempted to redefine the course of… … Wikipedia
Scientific method — … Wikipedia
Enlightenment (The Scottish) — The Scottish Enlightenment M.A.Stewart INTRODUCTION The term ‘Scottish Enlightenment’ is used to characterize a hundred years of intellectual and cultural endeavour that started around the second decade of the eighteenth century. Our knowledge of … History of philosophy
Nyaya — Part of a series on Hindu philosophy … Wikipedia
